Description logics of context
نویسندگان
چکیده
منابع مشابه
Description logics of context
We introduce Description Logics of Context (DLCs) — an extension of Description Logics (DLs) for context-based reasoning. Our approach descends from J. McCarthy’s tradition of treating contexts as formal objects over which one can quantify and express first-order properties. DLCs are founded in two-dimensional possible world semantics, where one dimension represents a usual object domain and th...
متن کاملContext-Sensitive Bayesian Description Logics
Research embracing context-sensitivity in the domain of knowledge representation (KR) has been scarce, especially when the context is uncertain. The current study deals with this problem from a logic perspective and provides a framework combining Description Logics (DLs) with Bayesian Networks (BNs). In this framework, we use BNs to describe contexts that are semantically linked to classical DL...
متن کاملTwo-Dimensional Description Logics of Context
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing contexts and based on two-dimensional semantics, with one dimension representing a usual object domain and the other a domain of contexts. Additionally, it is equipped with a second DL language for describing the conte...
متن کاملIntegrating Context of Statements within Description Logics
We address the problem of providing contextual information about a logical formula (e.g., provenance, date of validity, or confidence) and representing it within a logical system. In this case, it is needed to rely on a higher order or non standard formalism, or some kind of reification mechanism. We explore the case of reification and formalize the concept of contextualizing logical statements...
متن کاملDescription Logics, Rules and Multi-context Systems
The combination of rules and ontologies has been a fertile topic of research in the last years, with the proposal of several different systems that achieve this goal. In this paper, we look at two of these formalisms, Mdl-programs and multi-context systems, which address different aspects of this combination, and include different, incomparable programming constructs. Despite this, we show that...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2013
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/ext011